Sparse Positional Strategies for Safety Games

We consider the problem of obtaining sparse positional strategies for safety games. Such games are a commonly used model in many formal methods, as they make the interaction of a system with its environment explicit. Often, a winning strategy for one of the players is used as a certificate or as an artefact for further processing in the application. Small such certificates, i.e., strategies that can be written down very compactly, are typically preferred. For safety games, we only need to consider positional strategies. These map game positions of a player onto a move that is to be taken by the player whenever the play enters that position. For representing positional strategies compactly, a common goal is to minimize the number of positions for which a winning player's move needs to be defined such that the game is still won by the same player, without visiting a position with an undefined next move. We call winning strategies in which the next move is defined for few of the player's positions sparse. Unfortunately, even roughly approximating the density of the sparsest strategy for a safety game has been shown to be NP-hard. Thus, to obtain sparse strategies in practice, one either has to apply some heuristics, or use some exhaustive search technique, like ILP (integer linear programming) solving. In this paper, we perform a comparative study of currently available methods to obtain sparse winning strategies for the safety player in safety games. We consider techniques from common knowledge, such as using ILP or SAT (satisfiability) solving, and a novel technique based on iterative linear programming. The results of this paper tell us if current techniques are already scalable enough for practical use.Comment: In Proceedings SYNT 2012, arXiv:1207.055

Elemental Characterization of Romanian Crop Medicinal Plants by Neutron Activation Analysis

The metallic elements concentrations of medicinal plants (coriander, dill, Echinacea, lavender, chamomile, mint, and plantain, used for phytopharmaceutical products), cultivated in unpolluted region, were analyzed by neutron activation analysis. The essential nutrients, macro-, micro-, and trace elements (K, Ca, Mg, Na, Fe, Mn, Rb, Sr, and Zn), potentially toxic elements (Al, As, Ba, Co, Sb, Cr, and V), and rare earth elements were monitored and were compared with those presented in the literature. An estimation of their contributions to intake and toxicity for a person was made, which revealed that (a) teas prepared from the examined plants represent useful contribution to the food provided intake of three essential macronutrients (K, Ca, and Mg); (b) the Cu, Mn, Rb, Sr, Zn, and rare earths levels are normal or low; (c) the quantities of As, Ba, Co, Sb, Cr, and V do not represent toxicological concerns; (d) the examination of the estimated Al and Fe quantities recovered in infusions in the conditions of usual daily tea consumption is below the Tolerable Daily Intake values. The strategy of cultivation of medicinal plants in unpolluted areas is efficient and beneficial. However, individual plants ability to concentrate preferentially certain elements suggests controlling the contamination level of raw materials

Oxygen-vacancy induced ferroelectricity in nitrogen-doped nickel oxide

This paper reports the onset of ferroelectricity in NiO by breaking the crystallographic symmetry with oxygen vacancies created by N doping. Nitrogen-doped NiO was grown at room temperature by RF sputtering of Ni target in Ar–O2–N2 plasma on silicon and fused silica substrates. The impact of the nitrogen doping of NiO on microstructural, optical, and electrical properties has been investigated. According to x-ray diffraction investigations, by increasing the N doping level in NiO, a transition from (002) to a (111) preferential orientation for the cubic NiO phase was observed, as well as a lattice strain relaxation, that is usually ascribed to structural defect formation in crystal. The x-ray diffraction pole figures the presence of a distorted cubic structure in NiO and supports the Rietveld refinement findings related to the strain, which pointed out that nitrogen doping fosters lattice imperfections formation. These findings were found to be in agreement with our far-infrared measurements that revealed that upon nitrogen doping a structural distortion of the NiO cubic phase appears. X-ray photo-emission spectroscopy measurements reveal the presence of oxygen vacancies in the NiO film following nitrogen doping. Evidence of ferro-electricity in nitrogen-doped NiO thin films has been provided by using the well-established Sawyer–Tower method. The results reported here provide the first insights on oxygen-vacancy induced ferroelectricity in nitrogen-doped nickel oxide thin films

Spectrum of molecular alterations detected in the CYP21A2 gene associated with 21-hydroxylase deficiency

A maioria dos doentes com hiperplasia suprarrenal congénita (HSC) apresenta alterações moleculares no gene CYP21A2, o qual codifica a enzima 21-hidroxilase (21-OH). Os doentes com a forma clássica de deficiência em 21-OH (21-OHD) apresentam a síntese de cortisol diminuída no córtex adrenal e, os casos mais graves, também apresentam deficiência de aldosterona. As mulheres com 21-OHD grave apresentam excesso de andrógenos desde a sua vida fetal conduzindo à virilização dos órgãos genitais externos. Tanto homens como mulheres com 21-OHD completa não sintetizam a aldosterona e, consequentemente, logo após o nascimento, podem desenvolver crises de perda de sal se não forem corretamente diagnosticados e tratados. A 21- OHD não clássica é devida à deficiência parcial em 21-OH, os fenótipos clínicos são menos graves, as mulheres não apresentam virilização dos genitais externos ao nascimento, e geralmente os sinais relativos a excesso de androgénios podem surgir durante a infância ou até mais tarde (durante ou após a puberdade). Neste trabalho descrevem-se as alterações e os genótipos mais frequentes encontrados em doentes portugueses não adultos com 21-OHD. As alterações mais frequentes encontradas na forma clássica da HSC são c.293-13C> G, diferentes deleções/quimeras/conversões génicas do gene CYP21A2 e c.518T> A, enquanto na 21-OHD não-clássica a variante c.844G> T é a mais frequente. Estes resultados contribuem para um diagnóstico correto e uma melhor gestão clínica dos doentes, para o seu aconselhamento genético e para oferecer o diagnóstico pré-natal a casais com risco de ter filhos afetados com a forma clássica de 21-OHD.Most of the patients with congenital adrenal hyperplasia (CAH) have molecular alterations in the CYP21A2 gene, which encodes the enzyme 21-hydroxylase (21-OH). Patients with the classic form of 21-OH deficiency (21-OHD) have the synthesis of cor tisol impaired in the adrenal cor tex and, the most severe cases also have aldosterone deficiency. Females with severe 21-OHD, star ting their fetal life have excess of androgens leading to external genitalia virilization at bir th. Both males and females with complete 21-OHD are not able to synthesize aldosterone, consequently soon af ter bir th may develop salt wasting crises if not correctly diagnosed and treated. Non-classic 21-OHD is due to par tial deficiency of 21-OH, the clinical phenotypes are less severe, females don’t present ambiguity of the external genitalia at bir th, usually signs of androgen excess may be present during childhood or even later in life (during or af ter puber ty). We present here the most frequent alterations and genotypes found in non adult Por tuguese patients with 21-OHD. The most frequent alterations found in the classic form of CAH are c.293-13C>G, dif ferent CYP21A2 deletions/quimeras/gene conversions and c.518T>A, while in non-classic 21-OHD the variant c.844G>T is the most frequent. These results contribute to a correct patient diagnosis, to a better clinical care, genetic counseling and to of fer pre-natal diagnosis to couples at risk of having af fected babies with the classic form of 21-OHD.info:eu-repo/semantics/publishedVersio

Interaction of p21CDKN1A with PCNA regulates the histone acetyltransferase activity of p300 in nucleotide excision repair

The cell-cycle inhibitor p21CDKN1A has been suggested to directly participate in DNA repair, thanks to the interaction with PCNA. Yet, its role has remained unclear. Among proteins interacting with both p21 and PCNA, the histone acetyltransferase (HAT) p300 has been shown to participate in DNA repair. Here we report evidence indicating that p21 protein localizes and interacts with both p300 and PCNA at UV-induced DNA damage sites. The interaction between p300 and PCNA is regulated in vivo by p21. Indeed, loss of p21, or its inability to bind PCNA, results in a prolonged binding to chromatin and an increased association of p300 with PCNA, in UV-irradiated cells. Concomitantly, HAT activity of p300 is reduced after DNA damage. In vitro experiments show that inhibition of p300 HAT activity induced by PCNA is relieved by p21, which disrupts the association between recombinant p300 and PCNA. These results indicate that p21 is required during DNA repair to regulate p300 HAT activity by disrupting its interaction with PCNA

Immunoproteasome LMP2 60HH Variant Alters MBP Epitope Generation and Reduces the Risk to Develop Multiple Sclerosis in Italian Female Population

Background: Albeit several studies pointed out the pivotal role that CD4+T cells have in Multiple Sclerosis, the CD8+ T cells involvement in the pathology is still in its early phases of investigation. Proteasome degradation is the key step in the production of MHC class I-restricted epitopes and therefore its activity could be an important element in the activation and regulation of autoreactive CD8+ T cells in Multiple Sclerosis. Methodology/Principal Findings: Immunoproteasomes and PA28-ab regulator are present in MS affected brain area and accumulated in plaques. They are expressed in cell types supposed to be involved in MS development such as neurons, endothelial cells, oligodendrocytes, macrophages/macroglia and lymphocytes. Furthermore, in a genetic study on 1262 Italian MS cases and 845 controls we observed that HLA-A*02+ female subjects carrying the immunoproteasome LMP2 codon 60HH variant have a reduced risk to develop MS. Accordingly, immunoproteasomes carrying the LMP2 60H allele produce in vitro a lower amount of the HLA-A*0201 restricted immunodominant epitope MBP111\u2013119. Conclusion/Significance: The immunoproteasome LMP2 60HH variant reduces the risk to develop MS amongst Italian HLAA* 02+ females. We propose that such an effect is mediated by the altered proteasome-dependent production of a specific MBP epitope presented on the MHC class I. Our observations thereby support the hypothesis of an involvement of immunoproteasome in the MS pathogenesis

Mycobacterium tuberculosis lineage 4 comprises globally distributed and geographically restricted sublineages

Generalist and specialist species differ in the breadth of their ecological niches. Little is known about the niche width of obligate human pathogens. Here we analyzed a global collection of Mycobacterium tuberculosis lineage 4 clinical isolates, the most geographically widespread cause of human tuberculosis. We show that lineage 4 comprises globally distributed and geographically restricted sublineages, suggesting a distinction between generalists and specialists. Population genomic analyses showed that, whereas the majority of human T cell epitopes were conserved in all sublineages, the proportion of variable epitopes was higher in generalists. Our data further support a European origin for the most common generalist sublineage. Hence, the global success of lineage 4 reflects distinct strategies adopted by different sublineages and the influence of human migration.We thank S. Lecher, S. Li and J. Zallet for technical support. Calculations were performed at the sciCORE scientific computing core facility at the University of Basel. This work was supported by the Swiss National Science Foundation (grants 310030_166687 (S.G.) and 320030_153442 (M.E.) and Swiss HIV Cohort Study grant 740 to L.F.), the European Research Council (309540-EVODRTB to S.G.), TB-PAN-NET (FP7-223681 to S.N.), PathoNgenTrace projects (FP7-278864-2 to S.N.), SystemsX.ch (S.G.), the German Center for Infection Research (DZIF; S.N.), the Novartis Foundation (S.G.), the Natural Science Foundation of China (91631301 to Q.G.), and the National Institute of Allergy and Infectious Diseases (5U01-AI069924-05) of the US National Institutes of Health (M.E.)

Sex difference and intra-operative tidal volume: Insights from the LAS VEGAS study

BACKGROUND: One key element of lung-protective ventilation is the use of a low tidal volume (VT). A sex difference in use of low tidal volume ventilation (LTVV) has been described in critically ill ICU patients.OBJECTIVES: The aim of this study was to determine whether a sex difference in use of LTVV also exists in operating room patients, and if present what factors drive this difference.DESIGN, PATIENTS AND SETTING: This is a posthoc analysis of LAS VEGAS, a 1-week worldwide observational study in adults requiring intra-operative ventilation during general anaesthesia for surgery in 146 hospitals in 29 countries.MAIN OUTCOME MEASURES: Women and men were compared with respect to use of LTVV, defined as VT of 8 ml kg-1 or less predicted bodyweight (PBW). A VT was deemed 'default' if the set VT was a round number. A mediation analysis assessed which factors may explain the sex difference in use of LTVV during intra-operative ventilation.RESULTS: This analysis includes 9864 patients, of whom 5425 (55%) were women. A default VT was often set, both in women and men; mode VT was 500 ml. Median [IQR] VT was higher in women than in men (8.6 [7.7 to 9.6] vs. 7.6 [6.8 to 8.4] ml kg-1 PBW, P < 0.001). Compared with men, women were twice as likely not to receive LTVV [68.8 vs. 36.0%; relative risk ratio 2.1 (95% CI 1.9 to 2.1), P < 0.001]. In the mediation analysis, patients' height and actual body weight (ABW) explained 81 and 18% of the sex difference in use of LTVV, respectively; it was not explained by the use of a default VT.CONCLUSION: In this worldwide cohort of patients receiving intra-operative ventilation during general anaesthesia for surgery, women received a higher VT than men during intra-operative ventilation. The risk for a female not to receive LTVV during surgery was double that of males. Height and ABW were the two mediators of the sex difference in use of LTVV.TRIAL REGISTRATION: The study was registered at Clinicaltrials.gov, NCT01601223

Impact of clinical phenotypes on management and outcomes in European atrial fibrillation patients: a report from the ESC-EHRA EURObservational Research Programme in AF (EORP-AF) General Long-Term Registry

Background: Epidemiological studies in atrial fibrillation (AF) illustrate that clinical complexity increase the risk of major adverse outcomes. We aimed to describe European AF patients\u2019 clinical phenotypes and analyse the differential clinical course. Methods: We performed a hierarchical cluster analysis based on Ward\u2019s Method and Squared Euclidean Distance using 22 clinical binary variables, identifying the optimal number of clusters. We investigated differences in clinical management, use of healthcare resources and outcomes in a cohort of European AF patients from a Europe-wide observational registry. Results: A total of 9363 were available for this analysis. We identified three clusters: Cluster 1 (n = 3634; 38.8%) characterized by older patients and prevalent non-cardiac comorbidities; Cluster 2 (n = 2774; 29.6%) characterized by younger patients with low prevalence of comorbidities; Cluster 3 (n = 2955;31.6%) characterized by patients\u2019 prevalent cardiovascular risk factors/comorbidities. Over a mean follow-up of 22.5 months, Cluster 3 had the highest rate of cardiovascular events, all-cause death, and the composite outcome (combining the previous two) compared to Cluster 1 and Cluster 2 (all P <.001). An adjusted Cox regression showed that compared to Cluster 2, Cluster 3 (hazard ratio (HR) 2.87, 95% confidence interval (CI) 2.27\u20133.62; HR 3.42, 95%CI 2.72\u20134.31; HR 2.79, 95%CI 2.32\u20133.35), and Cluster 1 (HR 1.88, 95%CI 1.48\u20132.38; HR 2.50, 95%CI 1.98\u20133.15; HR 2.09, 95%CI 1.74\u20132.51) reported a higher risk for the three outcomes respectively. Conclusions: In European AF patients, three main clusters were identified, differentiated by differential presence of comorbidities. Both non-cardiac and cardiac comorbidities clusters were found to be associated with an increased risk of major adverse outcomes

Clinical complexity and impact of the ABC (Atrial fibrillation Better Care) pathway in patients with atrial fibrillation: a report from the ESC-EHRA EURObservational Research Programme in AF General Long-Term Registry

Background: Clinical complexity is increasingly prevalent among patients with atrial fibrillation (AF). The ‘Atrial fibrillation Better Care’ (ABC) pathway approach has been proposed to streamline a more holistic and integrated approach to AF care; however, there are limited data on its usefulness among clinically complex patients. We aim to determine the impact of ABC pathway in a contemporary cohort of clinically complex AF patients. Methods: From the ESC-EHRA EORP-AF General Long-Term Registry, we analysed clinically complex AF patients, defined as the presence of frailty, multimorbidity and/or polypharmacy. A K-medoids cluster analysis was performed to identify different groups of clinical complexity. The impact of an ABC-adherent approach on major outcomes was analysed through Cox-regression analyses and delay of event (DoE) analyses. Results: Among 9966 AF patients included, 8289 (83.1%) were clinically complex. Adherence to the ABC pathway in the clinically complex group reduced the risk of all-cause death (adjusted HR [aHR]: 0.72, 95%CI 0.58–0.91), major adverse cardiovascular events (MACEs; aHR: 0.68, 95%CI 0.52–0.87) and composite outcome (aHR: 0.70, 95%CI: 0.58–0.85). Adherence to the ABC pathway was associated with a significant reduction in the risk of death (aHR: 0.74, 95%CI 0.56–0.98) and composite outcome (aHR: 0.76, 95%CI 0.60–0.96) also in the high-complexity cluster; similar trends were observed for MACEs. In DoE analyses, an ABC-adherent approach resulted in significant gains in event-free survival for all the outcomes investigated in clinically complex patients. Based on absolute risk reduction at 1 year of follow-up, the number needed to treat for ABC pathway adherence was 24 for all-cause death, 31 for MACEs and 20 for the composite outcome. Conclusions: An ABC-adherent approach reduces the risk of major outcomes in clinically complex AF patients. Ensuring adherence to the ABC pathway is essential to improve clinical outcomes among clinically complex AF patients